LNCS1427

LNCS1427
-A.J. Hu, M.Y. Vardi (Eds.), Computer Aided Verification. Proceedings, Springer-Verlag 1998

Acronyms von A bis Z. 2013.

Игры ⚽ Нужно сделать НИР?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • LNCS1427 — A.J. Hu, M.Y. Vardi (Eds.), Computer Aided Verification. Proceedings, Springer Verlag 1998 …   Acronyms

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”